Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
421	Formalizing Information Flow Control in a Model-Driven Approach? Kurt Stenzel, Kuzman Katkalov, Marian Borek, and Wolfgang Reif Institute for Software & Systems Engineering, Augsburg University, Germany Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:13:15 Models of computation Software engineering Data modeling Theoretical computer science Systems engineering Model-driven architecture Finite-state machine UML state machine UMLsec Unified Modeling Language Automata theory Digital electronics
422	Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI Add to Reading List Source URL: cm.bell-labs.com Language: English - Date: 2005-08-18 15:37:21 Formal methods Computer science Büchi automaton State diagram Finite-state machine Model theory Stack Models of computation Automata theory Theoretical computer science
423	Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian ˘ areanu ˘ Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2011-04-25 15:32:59 Computer science UML diagrams Automata theory Digital electronics Logic in computer science State diagram UML state machine Finite-state machine Stateflow Models of computation Theoretical computer science Applied mathematics
424	Statecharts in the making: a personal account Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2007-06-13 10:47:19 Software engineering Computing Structure Automata theory Digital electronics I-Logix State diagram Finite-state machine Higraph Models of computation Diagrams UML diagrams
425	Modeling Concurrency with Geometry Vaughan Pratt † Computer Science Department Stanford University Stanford, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:40 Theoretical computer science Algebraic structures Formal methods Order theory Distributive lattice Lattice theory Boolean algebra Distributivity Finite-state machine Automata theory Models of computation Mathematics
426	To appear in Math. Struct. in Comp. Science Higher Dimensional Automata Revisited VAUGHAN PRATT Department of Computer Science, Stanford University, Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:16 Order theory Structure Abstraction Lattice theory Chu space Lattice Distributive lattice Distributivity Finite-state machine Mathematics Automata theory Models of computation
427	Journal of Artificial Intelligence Research[removed]705 Submitted 05/14; published[removed]The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases Add to Reading List Source URL: www.jair.org Language: English - Date: 2014-12-09 03:01:47 Finite model theory Descriptive complexity Computational complexity theory Automata theory Conjunctive query FO Description logic PSPACE-complete SO Theoretical computer science Applied mathematics Complexity classes
428	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2014-09-12 07:21:02 Powerset construction Finite-state machine Deterministic automaton Regular expression Regular language Nondeterministic finite automaton Deterministic finite automaton Automata theory Theoretical computer science Computer science
429	A Better -Best List: Practical Determinization of Weighted Finite Tree Automata Jonathan May Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 20:52:07 Theoretical computer science Computer science Computing CYK algorithm Finite state transducer Finite-state machine Parse tree Formal grammar Mehryar Mohri Automata theory Formal languages Models of computation
430	TALN 2004, Session Poster, Fès, 19–21 avril[removed]NLP Applications Based on Weighted Multi-Tape Automata André Kempe Xerox Research Centre Europe – Grenoble Laboratory 6 chemin de Maupertuis – 38240 Meylan – Fr Add to Reading List Source URL: www.afcp-parole.org Language: English - Date: 2010-06-18 08:00:02 Theoretical computer science Formal languages Finite state transducer Turing machine Formal methods Turing machine equivalents Automata theory Theory of computation Models of computation

UPDATE